Перевод: с английского на русский

с русского на английский

predicate frame

См. также в других словарях:

  • Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… …   Wikipedia

  • Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… …   Wikipedia

  • Functional Grammar — (FG) ist eine linguistische Theorie, die Ende der 1970er Jahre von Simon Cornelis Dik in Amsterdam entwickelt wurde, ausdrücklich als Gegenmodell zum Standard Modell der Transformationsgrammatik von Noam Chomsky. Nach dem Tod Diks 1995 wurde die… …   Deutsch Wikipedia

  • Thematic structure — is a term in linguistics. When people talk, there are purposes in three separable parts of utterances Speech Act, Propositional Content and Thematic Structure. Because speaking is cooperative, in order that the speaking can be effective in the… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in …   Wikipedia

  • Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based …   Wikipedia

  • Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …   Wikipedia

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»